Herskab og tjenere. Et lille indblik i Erna Hamiltons korrespondance
نویسندگان
چکیده
منابع مشابه
université Lille 1 Sciences et Technologies Laboratoire d’Informatique Fondamentale de Lille Ecole doctorale Sciences Pour l’Ingénieur Université Lille
In this thesis, we address two main problems namely the quan-titative evaluation of mesh segmentation algorithms and learning meshsegmentation by exploiting the human factor.We propose the following contributions: • A benchmark dedicated to the evaluation of mesh segmentation al-gorithms. The benchmark includes a human-made ground-truthsegmentation corpus and a relevant simi...
متن کاملGlutamat og GABA: Hovedaktører i nevronal metabolisme
Cultures of dissociated cerebella from 7-day-old mice were maintained in vitro for 1–13 days. GABA biosynthesis and degradation were studiedduring development in culture and pharmacological agents were used to identify the enzymes involved. The amount of GABA increased, whereasthat of glutamate was unchanged during the first 5 days and both decreased thereafter. The presence of aminooxy...
متن کاملKommuner svigter traumatiserede flygtninge
Nytænkende indsats for PTSD-ramte familier udløser Integrationsprisen 'Årets medarbejder' til Knud Eschen, Afdeling for Traumeog Torturoverlevere i Region Syddanmark. I efterårsferien tager familiebehandler Knud Eschen på naturlejr med seks flygtningefamilier, der lever med traumer og PTSD efter krig, flugt og tortur. I år skal ti forældre og 24 børn i alderen fem til femten år med på lejrtur –...
متن کاملERNA and Friedman's Reverse Mathematics
Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis with a PRA consistency proof, proposed around 1995 by Patrick Suppes and Richard Sommer. Recently, the author showed the consistency of ERNA with several transfer principles and proved results of nonstandard analysis in the resulting theories (see [12] and [13]). Here, we show that Weak Kö...
متن کاملSaturation and Σ2-transfer for Erna
Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis with a PRA consistency proof, proposed around 1995 by Patrick Suppes and Richard Sommer. It is built on a previous system by Rolando Chuaqui and Patrick Suppes, which was recently reconsidered by Michal Rössler and Emil Jeřábek. A Π1-transfer principle has already been added to ERNA and th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Magasin fra Det Kongelige Bibliotek
سال: 1993
ISSN: 1904-4348,0905-5533
DOI: 10.7146/mag.v8i2.66331